81. Programming languages and systems :
پدیدآورنده : Gilles Barthe (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
E97
2011
82. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
83. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
پدیدآورنده : Herbert Kuchen, S. Doaitse Swierstra )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1140
84. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
پدیدآورنده : Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
982
85. Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 proceedings
پدیدآورنده : Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1292
86. Python by example :
پدیدآورنده : Nichola Lacey, Nichola Wilkin Ltd
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Python (Computer program language),COMPUTERS-- General.,Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
L33
2019eb
87. Python in a nutshell
پدیدآورنده : Martelli, Alex
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Python )Computer program language(,، Scripting languages )Computer science(,، COMPUTERS / Programming Languages / Python,، COMPUTERS / Programming / Object Oriented,، COMPUTERS / Reference,، Scripting languages )Computer science(,، Python )Computer program language(,، Python 2.7,، Python 3.5,، Python 3.6
رده :
QA
76
.
73
.
P98
M378
2017
88. Realistic compiler generation
پدیدآورنده : Lee, Peter
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers(--Semantics
رده :
QA
76
.
76
.
C65
.
L44
1989
89. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
90. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
91. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94
92. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
93. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
94. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
95. Software engineering: developments
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
رده :
QA
76
.
6
.
S7
96. The Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
97. The joy of Kotlin /
پدیدآورنده : Pierre-Yves Saumont.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)
رده :
QA76
.
62
98. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
99. The secret life of programs :
پدیدآورنده : by Jonathan E. Steinhart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
